21![Axis: Automatically Fixing Atomicity Violations through Solving Control Constraints Peng Liu Charles Zhang Axis: Automatically Fixing Atomicity Violations through Solving Control Constraints Peng Liu Charles Zhang](https://www.pdfsearch.io/img/00bd8a40fb8e54e97218f9c8d2c0e27b.jpg) | Add to Reading ListSource URL: www.cse.ust.hkLanguage: English - Date: 2012-09-05 04:11:28
|
---|
22![On the K-reachability Problem for Data Flow Analysis Reasoning may/must queries for combinatorial definitions Xiao Xiao, Charles Zhang Department of Computer Science and Engineering Hong Kong University of Science and Te On the K-reachability Problem for Data Flow Analysis Reasoning may/must queries for combinatorial definitions Xiao Xiao, Charles Zhang Department of Computer Science and Engineering Hong Kong University of Science and Te](https://www.pdfsearch.io/img/6ad3862a0f6cd8c3645117054aab2dfa.jpg) | Add to Reading ListSource URL: www.cse.ust.hkLanguage: English - Date: 2013-12-20 23:04:53
|
---|
23![1 Mining Crosscutting Concerns through Random Walks Charles Zhang, Member, IEEE, and Hans-Arno Jacobsen, Senior Member, IEEE 1 Mining Crosscutting Concerns through Random Walks Charles Zhang, Member, IEEE, and Hans-Arno Jacobsen, Senior Member, IEEE](https://www.pdfsearch.io/img/0a2ecfe4fa3a644f1c9e376332e26120.jpg) | Add to Reading ListSource URL: www.cse.ust.hkLanguage: English - Date: 2011-07-04 05:16:24
|
---|
24![A Scaling Context Sensitive Points-to Analysis by Geometric Encoding Xiao Xiao, The Hong Kong University of Science and Technology Charles Zhang, The Hong Kong University of Science and Technology Context sensitive poin A Scaling Context Sensitive Points-to Analysis by Geometric Encoding Xiao Xiao, The Hong Kong University of Science and Technology Charles Zhang, The Hong Kong University of Science and Technology Context sensitive poin](https://www.pdfsearch.io/img/031d104ad72c6242f889e4be84684911.jpg) | Add to Reading ListSource URL: www.cse.ust.hkLanguage: English - Date: 2014-05-26 01:03:11
|
---|
25![G-Finder: Routing Programming Questions Closer to the Experts ∗ Wei Li 1,2,3 Charles Zhang 2 G-Finder: Routing Programming Questions Closer to the Experts ∗ Wei Li 1,2,3 Charles Zhang 2](https://www.pdfsearch.io/img/abe727eab39e8d61aef9d1dacd999acc.jpg) | Add to Reading ListSource URL: www.cse.ust.hkLanguage: English - Date: 2010-08-05 23:05:09
|
---|
26![A Scaling Context Sensitive Points-to Analysis by Geometric Encoding Xiao Xiao, The Hong Kong University of Science and Technology Charles Zhang, The Hong Kong University of Science and Technology Context sensitive poin A Scaling Context Sensitive Points-to Analysis by Geometric Encoding Xiao Xiao, The Hong Kong University of Science and Technology Charles Zhang, The Hong Kong University of Science and Technology Context sensitive poin](https://www.pdfsearch.io/img/f9a02aa4994a0ddbba5b0199521f53be.jpg) | Add to Reading ListSource URL: www.cse.ust.hkLanguage: English - Date: 2014-05-26 01:03:39
|
---|
27![Stride: Search-Based Deterministic Replay in Polynomial Time via Bounded Linkage Jinguo Zhou Xiao Xiao Charles Zhang The Prism Research Group Department of Computer Science and Engineering The Hong Kong University of Sci Stride: Search-Based Deterministic Replay in Polynomial Time via Bounded Linkage Jinguo Zhou Xiao Xiao Charles Zhang The Prism Research Group Department of Computer Science and Engineering The Hong Kong University of Sci](https://www.pdfsearch.io/img/7d213c9fcb1fee84b97fe9625c31eab6.jpg) | Add to Reading ListSource URL: www.cse.ust.hkLanguage: English - Date: 2012-05-22 11:04:10
|
---|
28![1 Pert: The Application-aware Tailoring of Java Object Persistence Peng Liu, Charles Zhang Member, IEEE 1 Pert: The Application-aware Tailoring of Java Object Persistence Peng Liu, Charles Zhang Member, IEEE](https://www.pdfsearch.io/img/8cf976543df46baac38045a8ae330c08.jpg) | Add to Reading ListSource URL: www.cse.ust.hkLanguage: English - Date: 2011-07-01 01:45:47
|
---|
29![Tracking Data Structures for Postmortem Analysis (NIER Track) Xiao Xiao, Jinguo Zhou, Charles Zhang Department of Computer Science and Engineering Hong Kong University of Science and Technology Tracking Data Structures for Postmortem Analysis (NIER Track) Xiao Xiao, Jinguo Zhou, Charles Zhang Department of Computer Science and Engineering Hong Kong University of Science and Technology](https://www.pdfsearch.io/img/14abd43bc2727f7fb77145190aa7ce41.jpg) | Add to Reading ListSource URL: www.cse.ust.hkLanguage: English - Date: 2013-09-22 04:01:34
|
---|
30![Reemerging Rabies and Lack of Systemic Surveillance in People’s Republic of China Xianfu Wu, Rongliang Hu, Yongzhen Zhang, Guanmu Dong, and Charles E. Rupprecht Rabies is a reemerging disease in China. The high incide Reemerging Rabies and Lack of Systemic Surveillance in People’s Republic of China Xianfu Wu, Rongliang Hu, Yongzhen Zhang, Guanmu Dong, and Charles E. Rupprecht Rabies is a reemerging disease in China. The high incide](https://www.pdfsearch.io/img/b6d7c5305231095b9218675e949e37e5.jpg) | Add to Reading ListSource URL: rabiesalliance.orgLanguage: English - Date: 2013-07-06 05:50:09
|
---|